Inhalt des Dokuments

Diplom

A Type System for Proving Termination in Name-Passing Process-Calculi

Sonntag, 20. Februar 2011

Betreuer/in: Schneider Erstgutachter/in: Prof. Dr.-Ing. Nestmann Zweitgutachter/in: Dr. Kammüller

Beschow, Bernhard

Ausgehend von einem existierenden Typsystem für "Activeness/Responsiveness" von Kanälen im Pi Kalkül soll eine Variante des Typsystems entwickelt werden, die auf die Garantie von Terminierungseigenschaften spezialisiert ist.

---